00100	(DE DEL(X L)(COND((NULL L)NIL)((EQ(CAR L)X)(CDR L))
00200	(T(CONS(CAR L)(DEL X (CDR L))))) )
00300	
00400	(DF BL(L)(PROG(Z)
00500	(EVAL(LIST (QUOTE INPUT)(QUOTE DSK:)(CAR L)))
00600	(INC T)(SETQ L(CDR L))
00700	A(COND ((NULL L)(RETURN (INC NIL))))
00800	(SETQ Z(READ))
00900	(COND((ATOM Z)(GO A))
01000	((EQ(CAR Z)(QUOTE LAP))(GO LAP))
01100	((EQ(CAR Z)(QUOTE DEFPROP))(GO DEF))
01200	(T(PRINT(CAR Z))(PRINT (QUOTE LOSE))(GO A)))
01300	LAP(COND((MEMQ(CADR Z) L)(SETQ L(DEL (CADR Z) L))(GO L1)))
01400	B(COND((NULL (READ))(GO A))(T(GO B)))
01500	L1(EVAL Z)(GO A)
01600	DEF(COND((MEMQ(CADR Z) L)(SETQ L(DEL (CADR Z) L))(EVAL Z)(GO A))
01700	(T(GO A)) )
01800	))
01900	)))